Parallel and Distributed Invariant Checking of Microcontroller Software
نویسندگان
چکیده
منابع مشابه
Checking Distributed Software Engineering Content
We describe the foundations of xlinkit, a technology for checking the consistency and linking the elements of distributed, heterogenous XML documents, and its application to software engineering. We do so by providing a formal semantics for a rule language which relates document elements and by showing how we used the language to express the constraints of the UML Core package. We outline how w...
متن کاملDistributed and Predictable Software Model Checking
We present a predicate abstraction and refinement-based algorithm for software verification that is designed for the distributed execution on compute nodes that communicate via message passing, as found in today’s compute clusters. A successful adaptation of predicate abstraction and refinement from sequential to distributed setting needs to address challenges imposed by the inherent non-determ...
متن کاملParallel testing of distributed software
The paper presents the experience of the use of parallel computing technologies to accelerate the testing of a complex distributed programming system such as Orbix 3, which is IONA’s implementation of the CORBA 2.1 standard. The design and implementation of the parallel testing system are described in detail. Experimental results proving the high efficiency of the system are given. q 2004 Elsev...
متن کاملParallel Assignments in Software Model Checking
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations. We begin with an introduction to modern software verification systems. Specifically, we review the method in which software abstractions are built using counterexample-guided abstraction refinement (CEGAR). The classical NP-complete paralle...
متن کاملTesting Microcontroller Software Simulators
Software simulators that emulate equivalent behavior of physical microcontrollers play an important role in the process of software development for embedded systems from an early development stage (e.g. when no target hardware is available) to the final verification process (e.g. used in combination with formal methods). Thus, much reliance is put on the correctness of these simulators. This pa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2009
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.09.059